$\forall$$P$:(Unit$\rightarrow$Prop). Dec($P$($\cdot$)) $\Rightarrow$ Dec($\exists$$x$:Unit. $P$($x$))